Upload
Featured Recent Articles Topics Login Upload

Search Results for ''

published presentations and documents on DocSlides.

Algorithmic Software Verification
Algorithmic Software Verification
by briana-ranney
Ranjit Jhala, UC San Diego. Checking. Properties....
Using Types For Software Verification
Using Types For Software Verification
by conchita-marotz
Ranjit. . Jhala. , UC San . Diego. (with Pat . R...
Higher-Order Verification
Higher-Order Verification
by danika-pritchard
With Liquid . Types. Ranjit. . Jhala. , UC San D...
Finding bugs: Analysis Techniques & Tools
Finding bugs: Analysis Techniques & Tools
by celsa-spraggs
Symbolic Execution. & Constraint Solving. CS...
Autograder
Autograder
by tawny-fly
Rishabh Singh, . Sumit. . gulwani. , Armando sol...
The Hardware/Software Interface
The Hardware/Software Interface
by fullyshro
CSE351 Autumn2011. 1. st. Lecture, September 28. ...
1 Capturing the Future by
1 Capturing the Future by
by lois-ondreau
Replaying the . Past. James Koppel. , MIT. Gabrie...
Finding bugs: Analysis Techniques & Tools
Finding bugs: Analysis Techniques & Tools
by tatiana-dople
Symbolic Execution. & Constraint Solving. CS...
Shreds: Fine-grained Execution Units with Private Memory
Shreds: Fine-grained Execution Units with Private Memory
by sherrill-nordquist
Landon Cox. March . 3, . 2017. Parts of a . proce...
Jodhpur, India (Dec 2011)
Jodhpur, India (Dec 2011)
by tawny-fly
cs4414 Fall 2013. David Evans. Class 9. What . th...
Changing picture brightness using SSE
Changing picture brightness using SSE
by sherrill-nordquist
Another SSE example….. Brightness. Make a simpl...
Reverse Engineering Obfuscated Android Applications
Reverse Engineering Obfuscated Android Applications
by ellena-manuel
Tom Keetch, IntrinSec SSA Ltd.. SteelCon. – Sh...
Relax:
Relax:
by tatiana-dople
An Architectural Framework for Software Recovery ...
Lecture 21:
Lecture 21:
by jane-oiler
Arrays As Parameters. CSC 107 – Programming For...
Virtual Memory
Virtual Memory
by mitsue-stanley
15-213 : Introduction to Computer Systems. 2. 3rd...
fread
fread
by tawny-fly
and . fwrite. functions . are the most efficien...
A Sophomoric Introduction to Shared-Memory Parallelism and
A Sophomoric Introduction to Shared-Memory Parallelism and
by alexa-scheidler
Lecture 1. Introduction to Multithreading & F...
COP 3275 – Character
COP 3275 – Character
by faustina-dinatale
Strings and Introduction to Pointers. Instructor:...
Sockets and Beginning
Sockets and Beginning
by alida-meadow
Network Programming. Networking. CS 3470, Section...
Memory safety, continued again
Memory safety, continued again
by natator
With material from Mike . Hicks. ,. . Dave . Levi...
Recursion “In order to understand recursion, one must first understand recursion”
Recursion “In order to understand recursion, one must first understand recursion”
by emmy
Recursion Refresher. Recursion: a function defined...
Techniques for Finding Scalability Bugs
Techniques for Finding Scalability Bugs
by eddey
Bowen Zhou. Overview. Find scaling bugs using . Wu...
SC_Tangram:A Charm++-based parallel framework for
SC_Tangram:A Charm++-based parallel framework for
by welnews
. cosmological. . simulations. Chen . Meng. 2015/...
CS1010: Programming Methodology
CS1010: Programming Methodology
by triclin
. http://www.comp.nus.edu.sg/~cs1010/. Week 9: Cha...
ValueTypes Jim Fawcett CSE687 – Object Oriented Design
ValueTypes Jim Fawcett CSE687 – Object Oriented Design
by natalia-silvester
Summer 2018. Definition. A Value Type is a user-d...
Lecturer: Simon Winberg Digital Systems
Lecturer: Simon Winberg Digital Systems
by luanne-stotts
EEE4084F. Attribution-. ShareAlike. 4.0 Internat...
Correctness of parallel programs
Correctness of parallel programs
by conchita-marotz
Shaz Qadeer. Research in Software Engineering. CS...
CSE 451: Operating Systems
CSE 451: Operating Systems
by giovanna-bartolotta
Section 3. Project 0 recap, Project 1. Andrew Tan...
Non Malicious Program Errors (Buffer Overflows)
Non Malicious Program Errors (Buffer Overflows)
by jane-oiler
Gabe Kanzelmeyer. CS 450. 4/14/10. Overview. What...
R – C/C++ programming
R – C/C++ programming
by tatiana-dople
Katia Oleinik. koleinik@bu.edu. Scientific . Comp...
Correctness of parallel programs
Correctness of parallel programs
by marina-yarberry
Shaz Qadeer. Research in Software Engineering. CS...
Algorithms, Complexity
Algorithms, Complexity
by mitsue-stanley
and Sorting. a. cademy.zariba.com. 1. Lecture Con...